More from this Author

Types for Proofs and Programs

by Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan Smith (Editor)

Types for Proofs and Programs

by Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan Smith (Editor)

Identity Work in the Contemporary University

by Jan Smith (Editor), Julie Rattray (Editor), Tai Peseta (Editor), Daphne Loads (Editor)